Miguel de Castela e Leão
A primeira referência que se conhece a este hipotético Infante Dom Miguel de Castela e Leão, como filho do segundo casamento do rei João I de Castela com a Infanta Beatriz de Portugal, herdeira do trono de Portugal nos termos do Tratado de Salvaterra, é feita por Pedro Salazar de Mendoza em 1618,Pedro Salazar de Mendoza, Origem das dignidades seculares de Castela e Leão, edição de Toledo de 1618, p. 124 que nos diz: «e nasceu deste matrimónio o Infante dom Miguel, que morreu menino».